#include <stdio.h>
 
void print_hello(void)
{
        printf("Hello world\n");
}